A Private Stable Matching Algorithm
نویسنده
چکیده
Existing stable matching algorithms reveal the preferences of all participants, as well as the history of matches made and broken in the course of computing a stable match. This information leakage not only violates the privacy of participants, but also leaves matching algorithms vulnerable to manipulation [8, 10, 25]. To address these limitations, this paper proposes a private stable matching algorithm, based on the famous algorithm of Gale and Shapley [6]. Our private algorithm is run by a number of independent parties whom we call the Matching Authorities. As long as a majority of Matching Authorities are honest, our protocol correctly outputs a stable match, and reveals no other information than what can be learned from that match and from the preferences of participants controlled by the adversary. The security and privacy of our protocol are based on re-encryption mix networks and on an additively homomorphic semantically secure public-key encryption scheme such as Paillier.
منابع مشابه
Optimization in Private Stable Matching with Cost of Privacy Loss
We introduce, model and solve private non-transitivepreference-based stable matching using a new optimization framework that models privacy-loss as utility loss. Classic stable matching problems are a well known tractable application with many uses. However, some versions of stable matching problems are not tractable. One such version that we identified earlier is the stable matching with priva...
متن کاملImproved Efficiency for Private Stable Matching
At Financial Crypto 2006, Golle presented a novel framework for the privacy preserving computation of a stable matching (stable marriage). We show that the communication complexity of Golle’s main protocol is substantially greater than what was claimed in that paper, in part due to surprising pathological behavior of Golle’s variant of the Gale-Shapley stable matching algorithm. We also develop...
متن کاملPrivate and Efficient Stable Marriages (Matching)
We provide algorithms guaranteeing high levels of privacy by computing uniformly random solutions to stable marriages problems. We also provide efficient algorithms extracting a nonuniformly random solution and guaranteeing t-privacy for any threshold t. The most private solution is expensive and is based on a distributed/shared CSP model of the problem. The most efficient version is based on r...
متن کاملDistributed Stable Matching Problems
We consider the Stable Marriage Problem and the Stable Roommates Problem, two well-known types of the general class of Stable Matching Problems. They are combinatorial problems which can be solved by centralized algorithms in polynomial time. This requires to make public lists of preferences which agents would like to keep private. With this aim, we define the distributed version of these probl...
متن کاملCommunication Requirements for Stable Marriages
We study the stable marriage problem in a distributed environment, in which there are 2n players, n men and n women, each holding a private ranking of the n persons of the opposite set, and there is a server who communicates with the players and finds a matching for them. We restrict our attention on two communication models: the sketch model and the query model. In the sketch model, each playe...
متن کامل